#pragma once

#include <typedef.h>

uint64_t rt_current(void);

int rt_string(char *o_str, int size);


